"Quán triệt ba nguyên thủy: tìm kiếm liệt kê trên không gian giả thuyết, xác định tính tương đương của chương trình ứng viên, và quy giản ký hiệu chính xác đến từng ký tự. Ba cái này chính là cốt lõi của toàn bộ mô hình, tao tóm tắt thế đúng chưa?"

"Đúng rồi ạ, chủ nhân hỏi tới lần thứ ba rồi đấy."

"Lần đầu là xác nhận, lần hai là nhắc lại, còn lần này gọi là chốt hạ vấn đề."

"Ồ."